Propositional Belief Base Update and Minimal Change

On Propositional Knowledge Base Updates

It is well known that the minimal change principle was widely used in propositional knowledge base updates. However, recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive eeects. In this paper we propose a new method for the knowledge base update based on a persistence principle, which pr...

A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models

Belief revision and belief update are two of the most basic types of belief change operations. We need to select either revision or update when we accept new information into the current belief, however, such decision making has not been considered. In this paper, we propose a unified framework of revision and update based on state transition models that enable us to do such decision making. Th...

Prime Implicants and Belief Update

Adaptation is one of the most important capabilities that an intelligent agent should present. In order to provide this capability to logical-based agents, the Belief Change area proposes methods to incorporate new information in a belief set. Properties like consistency and minimal change guide the change process. The notion of minimal change is usually associated with a closeness criterion ba...

Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision

This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, ...

Belief Revision as Propositional Update 1 Belief Change as Propositional Update Renée

Updating Knowledge Bases with Disjunctive Information

It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that the conventional minimal change methods, eg. the PMA 11], were generally problematic for updating knowledge bases with disjunctive information. In this paper, we propose two diierent approaches to deal with this problem { one is called the minimal change with exc...